Hodge dual

In mathematics, the Hodge star operator or Hodge dual is a significant linear map introduced in general by W. V. D. Hodge. It is defined on the exterior algebra of a finite-dimensional oriented inner product space.

Contents

Dimensions and algebra

The Hodge star operator establishes a one-to-one correspondence between the space of k-vectors and the space of (n−k)-vectors. The image of a k-vector under this correspondence is called the Hodge dual of the k-vector. The former space, of k-vectors, has dimension

{n \choose k}

while the latter has dimension

{n \choose n - k},

and by the symmetry of the binomial coefficients, these two dimensions are in fact equal. Two vector spaces with the same dimension are always isomorphic; but not necessarily in a natural or canonical way. The Hodge duality, however, in this case exploits the inner product and orientation of the vector space. It singles out a unique isomorphism, that reflects therefore the pattern of the binomial coefficients in algebra. This in turn induces an inner product on the space of k-vectors. The 'natural' definition means that this duality relationship can play a geometrical role in theories.

The first interesting case is on three-dimensional Euclidean space V. In this context the relevant row of Pascal's triangle reads

1, 3, 3, 1

and the Hodge dual sets up an isomorphism between the two spaces of dimension 3, which are V itself and the space of wedge products of two vectors from V. See the Examples section for details. In this case the content is just that of the cross product of traditional vector calculus. While the properties of the cross product are special to three dimensions, the Hodge dual is available in all dimensions.

Extensions

Since the space of alternating linear forms in k arguments on a vector space is naturally isomorphic to the dual of the space of k-vectors over that vector space, the Hodge dual can be defined for these spaces as well. As with most constructions from linear algebra, the Hodge dual can then be extended to a vector bundle. Thus a context in which the Hodge dual is very often seen is the exterior algebra of the cotangent bundle (i.e. the space of differential forms on a manifold) where it can be used to construct the codifferential from the exterior derivative, and thus the Laplace-de Rham operator, which leads to the Hodge decomposition of differential forms in the case of compact Riemannian manifolds.

Formal definition of the Hodge star of k-vectors

The Hodge star operator on an oriented inner product space V is a linear operator on the exterior algebra of V, interchanging the subspaces of k-vectors and n−k-vectors where n = dim V, for 0 ≤ k ≤ n. It has the following property, which defines it completely: given an oriented orthonormal basis e_1,e_2,\dots,e_n we have

*(e_{i_1} \wedge e_{i_2}\wedge \cdots \wedge e_{i_k})= e_{i_{k%2B1}} \wedge e_{i_{k%2B2}} \wedge \cdots \wedge e_{i_n},

where \{i_1, \cdots i_k, i_{k%2B1} \cdots i_n\} is an even permutation of \{1, 2, \cdots n\}.

Of these n! \over 2 relations, of course only n \choose k are independent. The first one in the usual lexicographical order reads

*(e_1\wedge e_2\wedge \cdots \wedge e_k)= e_{k%2B1}\wedge e_{k%2B2}\wedge \cdots \wedge e_n.

Index notation for the star operator

Using index notation, the Hodge dual is obtained by contracting the indices of a k-form with the n-dimensional completely antisymmetric Levi-Civita tensor. This differs from the Levi-Civita symbol by an extra-factor of (det g)½, where g is an inner product. (One uses an absolute value around the determinant if g is not positive-definite, e.g. for tangent spaces to Lorentzian manifolds.)

Thus one writes

(*\eta)_{i_1,i_2,\ldots,i_{n-k}}= \frac{1}{k!} \eta^{j_1,\ldots,j_k}\,\sqrt {|\det g|} \,\epsilon_{j_1,\ldots,j_k,i_1,\ldots,i_{n-k}}

where η is an arbitrary antisymmetric tensor in k indices. It is understood that indices are raised and lowered using the same inner product g as in the definition of the Levi-Civita tensor. Although one can take the star of any tensor, the result is antisymmetric, since the symmetric components of the tensor completely cancel out when contracted with the completely anti-symmetric Levi-Civita symbol.

Examples

A common example of the star operator is the case n = 3, when it can be taken as the correspondence between the vectors and the skew-symmetric matrices of that size. This is used implicitly in vector calculus, for example to create the cross product vector from the wedge product of two vectors. Specifically, for Euclidean R3, one easily finds that

*\mathrm{d}x=\mathrm{d}y\wedge \mathrm{d}z

and

*\mathrm{d}y=\mathrm{d}z\wedge \mathrm{d}x

and

*\mathrm{d}z=\mathrm{d}x\wedge \mathrm{d}y

where dx, dy and dz are the standard orthonormal differential one-forms on R3. The Hodge dual in this case clearly corresponds to the cross-product in three dimensions. A detailed presentation not restricted to differential geometry is provided next.

Three-dimensional example

Applied to three dimensions, the Hodge dual provides an isomorphism between axial vectors and bivectors, so each axial vector a is associated with a bivector A and vice-versa, that is:[1]

\mathbf{A} = * \mathbf{a}\�;\ \ \ \mathbf{a} = * \mathbf{A} \ ,

where \ast indicates the dual operation. These dual relations can be implemented using multiplication by the unit pseudoscalar in Cl3(R),[2] i = e1e2e3 (the vectors { el } are an orthonormal basis in three dimensional Euclidean space) according to the relations:[3]

\mathbf{A} = \mathbf{a}i\�;\ \ \ \mathbf{a} = - \mathbf{A} i.

The dual of a vector is obtained by multiplication by i, as established using the properties of the geometric product of the algebra as follows:

\mathbf{a}i = \left(a_1 \mathbf{e_1} %2B a_2 \mathbf{e_2} %2Ba_3 \mathbf {e_3}\right) \mathbf {e_1 e_2 e_3} \
= a_1 \mathbf{e_2 e_3} (\mathbf{e_1})^2 %2B a_2 \mathbf{e_3 e_1}(\mathbf{e_2})^2 %2Ba_3 \mathbf{e_1 e_2}(\mathbf{e_3})^2 \
= a_1 \mathbf{e_2 e_3} %2Ba_2 \mathbf{e_3 e_1} %2Ba_3 \mathbf{e_1 e_2} = (* \mathbf a )\�;

and also, in the dual space spanned by { elem }:

\mathbf{A} i = \left(A_1 \mathbf{e_2e_3} %2B A_2 \mathbf{e_3e_1} %2BA_3 \mathbf {e_1e_2}\right) \mathbf {e_1 e_2 e_3} \
= A_1 \mathbf{e_1} (\mathbf{e_2 e_3})^2 %2BA_2 \mathbf{e_2} (\mathbf{e_3 e_1})^2 %2BA_3 \mathbf{e_3}(\mathbf{e_1 e_2})^2 \
=-\left( A_1 \mathbf{e_1} %2B A_2 \mathbf{e_2} %2B A_3 \mathbf{e_3} \right) = - (* \mathbf A )\ .

In establishing these results, the identities are used:

(\mathbf{e_1e_2})^2 =\mathbf{e_1e_2e_1e_2}= -\mathbf{e_1e_2e_2e_1} = -1 \ ,

and:

\mathit{i}^2 =(\mathbf{e_1e_2e_3})^2 =\mathbf{e_1e_2e_3e_1e_2e_3}= \mathbf{e_1e_2e_3e_3e_1e_2} = \mathbf{e_1e_2e_1e_2} = -1 \ .

These relations between the dual \ast and i apply to any vectors. Here they are applied to relate the axial vector created as the cross product a = u × v to the bivector-valued exterior product A = u \wedge v of two polar (that is, not axial) vectors u and v; the two products can be written as determinants expressed in the same way:

\mathbf a = \mathbf{u} \times \mathbf{v} = \begin{vmatrix} \mathbf{e}_1 & \mathbf{e}_2 & \mathbf{e}_3\\u_1 & u_2 & u_3\\v_1 & v_2 & v_3 \end{vmatrix}\�;\ \ \ \mathbf A = \mathbf{u} \wedge \mathbf{v} = \begin{vmatrix} \mathbf{e}_{23} & \mathbf{e}_{31} & \mathbf{e}_{12}\\u_1 & u_2 & u_3\\v_1 & v_2 & v_3 \end{vmatrix}\ ,

using the notation elm = elem. These expressions show these two types of vector are Hodge duals:[1]

* (\mathbf u \wedge \mathbf v )=\mathbf {u \times v} \�; \ \ * (\mathbf {u \times v} ) \ = \mathbf u \wedge \mathbf v \�;

as a result of the relations:

* \mathbf e_{\ell} = \mathbf e_{\ell} \mathit i =\mathbf e_{\ell} \mathbf{e_1e_2e_3} = \mathbf e_m \mathbf e_n \�; with l, m, n cyclic,

and:

* ( \mathbf e_{\ell} \mathbf e_m ) =-( \mathbf e_{\ell} \mathbf e_m )\mathit{i} =-\left( \mathbf e_{\ell} \mathbf e_m \right)\mathbf{e_1e_2e_3} =\mathbf e_{n} also with l, m, n cyclic.

Using the implementation of ? based upon i, the commonly used relations are:[4]

\mathbf {u \times v} = -(\mathbf u \wedge \mathbf v ) i \�; \ \ \mathbf u \wedge \mathbf v = (\mathbf {u \times v} ) i \ \ .

Four dimensions

In case n = 4 the Hodge dual acts as an endomorphism of the second exterior power, of dimension 6. It is an involution, so it splits it into self-dual and anti-self-dual subspaces, on which it acts respectively as +1 and −1.

Another useful example is n=4 Minkowski spacetime with metric signature (+,−,−,−) and coordinates (t,x,y,z) where (using \varepsilon_{0123} = 1)

* \mathrm{d}t=\mathrm{d}x\wedge \mathrm{d}y \wedge\mathrm{d}z
* \mathrm{d}x=\mathrm{d}t\wedge \mathrm{d}y \wedge\mathrm{d}z
* \mathrm{d}y=\mathrm{d}t\wedge \mathrm{d}z \wedge\mathrm{d}x
* \mathrm{d}z=\mathrm{d}t\wedge \mathrm{d}x \wedge\mathrm{d}y

for one-forms while

* \mathrm{d}t \wedge\mathrm{d}x = - \mathrm{d}y\wedge \mathrm{d}z
* \mathrm{d}t \wedge\mathrm{d}y = \mathrm{d}x\wedge \mathrm{d}z
* \mathrm{d}t \wedge\mathrm{d}z = - \mathrm{d}x\wedge \mathrm{d}y
* \mathrm{d}x \wedge\mathrm{d}y = \mathrm{d}t\wedge \mathrm{d}z
* \mathrm{d}x \wedge\mathrm{d}z = - \mathrm{d}t\wedge \mathrm{d}y
* \mathrm{d}y \wedge\mathrm{d}z = \mathrm{d}t\wedge \mathrm{d}x

for two-forms.

Inner product of k-vectors

The Hodge dual induces an inner product on the space of k-vectors, that is, on the exterior algebra of V. Given two k-vectors \eta and \zeta, one has

\zeta\wedge *\eta = \langle\zeta, \eta \rangle\;\omega

where ω is the normalised n-form (i.e. ω ∧*ω = ω). In the calculus of exterior differential forms on a Riemannian manifold of dimension n, the normalised n-form is called the volume form and can be written as

\omega=\sqrt{|\det g_{ij}|}\;dx^1\wedge\cdots\wedge dx^n

where g_{ij} is the metric on the manifold.

It can be shown that \langle\cdot,\cdot\rangle is an inner product, in that it is sesquilinear and defines a norm. Conversely, if an inner product is given on \Lambda^k(V) , then this equation can be regarded as an alternative definition of the Hodge dual.[5] The wedge products of elements of an orthonormal basis in V form an orthonormal basis of the exterior algebra of V.

Duality

The Hodge star defines a dual in that when it is applied twice, the result is an identity on the exterior algebra, up to sign. Given a k-vector \eta \in \Lambda^k (V) in an n-dimensional space V, one has

*{*\eta}=(-1)^{k(n-k)}s\;\eta

where s is related to the signature of the inner product on V. Specifically, s is the sign of the determinant of the inner product tensor. Thus, for example, if n=4 and the signature of the inner product is either (+,−,−,−) or (−,+,+,+) then s=−1. For ordinary Euclidean spaces, the signature is always positive, and so s=+1. When the Hodge star is extended to pseudo-Riemannian manifolds, then the above inner product is understood to be the metric in diagonal form.

Note that the above identity implies that the inverse of \ast can be given as

*^{-1}:\Lambda^k\ni\eta \mapsto (-1)^{k(n-k)}s{*\eta} \in\Lambda^{n-k}

Note that if n is odd k(n−k) is even for any k whereas if n is even k(n−k) has the parity of k.

Therefore, if n is odd, it holds for any k

\ast^{-1} = s\ast

whereas, if n is even, it holds

\ast^{-1} = (-1)^k s\ast

where k is the degree of the forms operated on.

Hodge star on manifolds

One can repeat the construction above for each cotangent space of an n-dimensional oriented Riemannian or pseudo-Riemannian manifold, and get the Hodge dual (n−k)-form, of a k-form. The Hodge star then induces an L2-norm inner product on the differential forms on the manifold. One writes

(\eta,\zeta)=\int_M \eta\wedge *\zeta

for the inner product of sections \eta and \zeta of \Lambda^k(M). (The set of sections is frequently denoted as \Omega^k(M)=\Gamma(\Lambda^k(M)). Elements of \Omega^k(M) are called exterior k-forms).

More generally, in the non-oriented case, one can define the hodge star of a k-form as a (n−k)-pseudo differential form; that is, a differential forms with values in the canonical line bundle.

The codifferential

The most important application of the Hodge dual on manifolds to is to define the codifferential δ. Let

\delta = (-1)^{nk %2B n %2B 1}s\, {*d*} = (-1)^k\,{\ast^{-1}d\ast}

where d is the exterior derivative, or differential. s=+1 for Riemannian manifolds.

d:\Omega^k(M)\rightarrow \Omega^{k%2B1}(M)

while

\delta:\Omega^k(M)\rightarrow \Omega^{k-1}(M).

The codifferential is not an antiderivation on the exterior algebra, in contrast to the exterior derivative.

The codifferential is the adjoint of the exterior derivative, in that

\langle \eta,\delta \zeta\rangle = \langle d\eta,\zeta\rangle.

where ζ is a (k+1)-form and η a k-form. This identity follows from Stokes' theorem for smooth forms, when

\int_M d(\eta \wedge *\zeta)=0 =\int_M (d\eta \wedge *\zeta - \eta\wedge * (-1)^{k%2B1}\,{*^{-1}d{*\zeta}})=\langle d\eta,\zeta\rangle -\langle\eta,\delta\zeta\rangle

i.e. when M has empty boundary or when η or *ζ has zero boundary values (Of course, true adjointness follows after continuous continuation to the appropriate topological vector spaces as closures of the spaces of smooth forms).

Notice that since the differential satisfies d^2=0 , the codifferential has the corresponding property

\! \delta^2 = s^2{*d{*{*d{*}}}} = (-1)^{k(n-k)} s^3{*d^2*} = 0

The Laplace-deRham operator is given by

\! \Delta=(\delta%2Bd)^2 = \delta d %2B d\delta

and lies at the heart of Hodge theory. It is symmetric:

\langle\Delta \zeta,\eta\rangle = \langle\zeta,\Delta \eta\rangle

and non-negative:

\langle\Delta\eta,\eta\rangle \ge 0.

The Hodge dual sends harmonic forms to harmonic forms. As a consequence of the Hodge theory, the de Rham cohomology is naturally isomorphic to the space of harmonic k-forms, and so the Hodge star induces an isomorphism of cohomology groups

*�: H^k_\Delta(M)\to H^{n-k}_\Delta(M),

which in turn gives canonical identifications via Poincaré duality of Hk(M) with its dual space.

Derivatives in three dimensions

The combination of the \ast operator and the exterior derivative d generates the classical operators grad, curl, and div, in three dimensions. This works out as follows: d can take a 0-form (function) to a 1-form, a 1-form to a 2-form, and a 2-form to a 3-form (applied to a 3-form it just gives zero). For a 0-form, \omega=f(x,y,z), the first case written out in components is identifiable as the grad operator:

d\omega=\frac{\partial f}{\partial x}dx%2B\frac{\partial f}{\partial y}dy%2B\frac{\partial f}{\partial z}dz.

The second case followed by \ast is an operator on 1-forms (\eta=Adx%2BBdy%2BCdz) that in components is the curl operator:

d\eta=\left({\partial C \over \partial y} - {\partial B \over \partial z}\right)dy\wedge dz %2B \left({\partial C \over \partial x} - {\partial A \over \partial z}\right)dx\wedge dz%2B\left({\partial B \over \partial x} - {\partial A \over \partial y}\right)dx\wedge dy.

Applying the Hodge star gives:

\ast d\eta=\left({\partial C \over \partial y} - {\partial B \over \partial z}\right)dx - \left({\partial C \over \partial x} - {\partial A \over \partial z}\right)dy%2B\left({\partial B \over \partial x} - {\partial A \over \partial y}\right)dz.

The final case prefaced and followed by \ast, takes a 1-form (\eta=Adx%2BBdy%2BCdz) to a 0-form (function); written out in components it is the divergence operator:

\ast\eta=Ady\wedge dz-Bdx\wedge dz%2BCdx\wedge dy
d{\ast\eta}=\left(\frac{\partial A}{\partial x}%2B\frac{\partial B}{\partial y}%2B\frac{\partial C}{\partial z}\right)dx\wedge dy\wedge dz
\ast d{\ast\eta}=\frac{\partial A}{\partial x}%2B\frac{\partial B}{\partial y}%2B\frac{\partial C}{\partial z}.

One advantage of this expression is that the identity d^2=0, which is true in all cases, sums up two others, namely that \operatorname{curl}(\operatorname{grad}(f))=0 and \operatorname{div}(\operatorname{curl}(\mathbf{F}))=0. In particular, Maxwell's equations take on a particularly simple and elegant form, when expressed in terms of the exterior derivative and the Hodge star.

One can also obtain the Laplacian. Using the information above and the fact that \Delta f = \operatorname{div}\; \operatorname{grad} f then for a 0-form, \omega=f(x,y,z):

\Delta \omega =\ast d{\ast d\omega}= \frac{\partial^2 f}{\partial x^2} %2B \frac{\partial^2 f}{\partial y^2} %2B \frac{\partial^2 f}{\partial z^2}

Notes

  1. ^ a b Pertti Lounesto (2001). "§3.6 The Hodge dual". Clifford Algebras and Spinors, Volume 286 of London Mathematical Society Lecture Note Series (2nd ed.). Cambridge University Press. p. 39. ISBN 0521005515. http://books.google.com/books?id=E_xvJuA4M7QC&pg=PA39. 
  2. ^ Venzo De Sabbata, Bidyut Kumar Datta (2007). "The pseudoscalar and imaginary unit". Geometric algebra and applications to physics. CRC Press. p. 53 ff. ISBN 1584887729. http://books.google.com/books?id=AXTQXnws8E8C&pg=PA53. 
  3. ^ William E Baylis (2004). "Chapter 4: Applications of Clifford algebras in physics". In Rafal Ablamowicz, Garret Sobczyk. Lectures on Clifford (geometric) algebras and applications. Birkhäuser. p. 100 ff. ISBN 0817632573. http://books.google.com/books?id=oaoLbMS3ErwC&pg=PA100. 
  4. ^ David Hestenes (1999). "The vector cross product". New foundations for classical mechanics: Fundamental Theories of Physics (2nd ed.). Springer. p. 60. ISBN 0792353021. http://books.google.com/books?id=AlvTCEzSI5wC&pg=PA60. 
  5. ^ Darling, R. W. R. (1994). Differential forms and connections. Cambridge University Press. 

References